منابع مشابه
A Quantified Study of Facial Asymmetry in 3D Faces
With the rapid development of 3D imaging technology, the wide usage of 3D surface information for research and applications is becoming a convenient reality. This study is focused on a quantified analysis of facial asymmetry of more than 100 3D human faces (individuals). We investigate whether facial asymmetry differs statistically significantly from a bilateral symmetry assumption, and the rol...
متن کاملEncoding Quantified CSPs as Quantified Boolean Formulae
Quantified Constraint Satisfaction Problems (QCSPs) are CSPs in which some variables are universally quantified. For each possible value of such variables, we have to find ways to set the remaining, existentially quantified, variables so that the constraints are all satisfied. Interest in this topic is increasing following recent advances in Quantified Boolean Formulae (QBFs), the analogous gen...
متن کاملConnected Car: Quantified Self becomes Quantified Car
The automotive industry could be facing a situation of profound change and opportunity in the coming decades. There are a number of influencing factors such as increasing urban and aging populations, self-driving cars, 3D parts printing, energy innovation, and new models of transportation service delivery (Zipcar, Uber). The connected car means that vehicles are now part of the connected world,...
متن کاملQuantified LP
An extension, QLP, of the propositional logic of explicit proofs, LP, is created, allowing quantification over proofs. The resulting logic is given an axiomatization, a Kripke-style semantics, and soundness and completeness are shown. It is shown that S4 embeds into the logic, when we translate the necessity operator using a quantifier: there exists an explicit proof. And it is shown that the p...
متن کاملQuantified Vehicles
Three trends have shown significant impact in recent years: (1) The Internet of Things (Wortmann and Flüchter 2015) has become an enabler for a connected world full of smart objects equipped with sensors and supplies enormous and still rising amounts of (2) Big Data (Schönberger and Cukier 2013), which can be analyzed and then turned into business value in various areas, including (3) the Quant...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Digital Culture & Society
سال: 2016
ISSN: 2364-2122,2364-2114
DOI: 10.14361/dcs-2016-0113